package hongjiang.info

object TypeSystemTypeKeyword extends App {
  import scala.reflect.runtime.universe._
  
  type T = Serializable { //声明一个结构类型
    type X
    def foo(): Unit
  }
  object A extends Serializable { type X = String; def foo() {} }
  Console println typeOf[A.type] <:< typeOf[T]//true
  

}